f : I64 -> (I64, I64)
f = \x -> (x, x + 1)

f 42
